Nuprl Definition : null-seq
11,40
postcript
pdf
null(
x
) ==
latex
Definitions
x
.
A
(
x
)
,
FDL editor aliases
null-seq
origin
x.A(x)